Dunn Semantics for Contra-Classical Logics
نویسندگان
چکیده
In this paper I show, with a rich and systematized diet of examples, that many contra-classical logics can be presented as variants FDE, obtained by modifying at least one the truth or falsity conditions some connective. Then argue using Dunn semantics provides clear understanding source contra-classicality, namely, connectives have either classical condition another This requires fine-grained analysis sorts modifications made to an evaluation condition, which offer here well.
منابع مشابه
Quasi-Classical Semantics for Expressive Description Logics
Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is reduced to the standard semantics when there...
متن کاملGame theoretical semantics for some non-classical logics
Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We als...
متن کاملVirtual Evidence: A Constructive Semantics for Classical Logics
This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems prima facie impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have computational meaning. However, the apparently oracular powers expressed in the LEM, that for any proposition P either it or its n...
متن کاملTopological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order (or partial-order) with the modal accessibility relation generalise to the requirement that the relation and its inverse be lower semi-contin...
متن کاملInterpolation Methods for Dunn Logics and Their Extensions
The semantic valuations of classical logic, strong Kleene logic, the logic of paradox and the logic of first-degree entailment, all respect the Dunn conditions: we call them Dunn logics. In this paper, we study the interpolation properties of the Dunn logics and extensions of these logics to more expressive languages. We do so by relying on the Dunncalculus, a signed tableau calculus whose rule...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2022
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.358.22